SAS 2002 : static analysis (Madrid, 17-20 September 2002)Hermenegildo, Manuel V; Puebla, German.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-44235-9, XI, 525 p, isbn 3-540-44235-9Conference Proceedings

PADL 2005 : practical aspects of declarative languages (Long Beach CA, 10-11 January 2005)Hermenegildo, Manuel; Cabeza, Daniel.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-24362-3, VIII, 267 p, isbn 3-540-24362-3Conference Proceedings

Abstract specialization and its applicationsPUEBLA, German; HERMENEGILDO, Manuel.ACM SIGPLAN notices. 2003, Vol 38, Num 10, pp 269-283, issn 1523-2867, 15 p.Conference Paper

Improved fusion for optimizing genericsALIMARINE, Artem; SMETSERS, Sjaak.Lecture notes in computer science. 2005, pp 203-218, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Functional framework for sound synthesisKARCZMARCZUK, Jerzy.Lecture notes in computer science. 2005, pp 7-21, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

A few graph-based relational numerical abstract domainsMINE, Antoine.Lecture notes in computer science. 2002, pp 117-132, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Checking safety properties of behavioral VHDL descriptions by abstract interpretationHYMANS, Charles.Lecture notes in computer science. 2002, pp 444-460, issn 0302-9743, isbn 3-540-44235-9, 17 p.Conference Paper

Safe programming with pointers through statefui viewsZHU, Dengping; XI, Hongwei.Lecture notes in computer science. 2005, pp 83-97, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Semantics for abstract interpretation-based static analyzes of temporal propertiesMASSE, Damien.Lecture notes in computer science. 2002, pp 428-443, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

The program inverter LRinv and its structureKAWABE, Masahiko; GLÜCK, Robert.Lecture notes in computer science. 2005, pp 219-234, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Towards a more practical hybrid probabilistic logic programming frameworkSAAD, Emad; PONTELLI, Enrico.Lecture notes in computer science. 2005, pp 67-82, issn 0302-9743, isbn 3-540-24362-3, 16 p.Conference Paper

Modular control flow analysis for librariesPROBST, Christian W.Lecture notes in computer science. 2002, pp 165-179, issn 0302-9743, isbn 3-540-44235-9, 15 p.Conference Paper

From secrecy to authenticity in security protocolsBLANCHET, Bruno.Lecture notes in computer science. 2002, pp 342-359, issn 0302-9743, isbn 3-540-44235-9, 18 p.Conference Paper

Representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypesJEANNET, B.Lecture notes in computer science. 2002, pp 52-68, issn 0302-9743, isbn 3-540-44235-9, 17 p.Conference Paper

Abstract interpretation with specialized definitionsPUEBLA, German; ALBERT, Elvira; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2006, pp 107-126, issn 0302-9743, isbn 3-540-37756-5, 1Vol, 20 p.Conference Paper

Removing superfluous versions in polyvariant specialization of prolog programsOCHOA, Claudio; PUEBLA, German; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2006, pp 80-97, issn 0302-9743, isbn 3-540-32654-5, 1Vol, 18 p.Conference Paper

A generic framework for the analysis and specialization of logic programsPUEBLA, German; ALBERT, Elvira; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2005, pp 407-409, issn 0302-9743, isbn 3-540-29208-X, 1Vol, 3 p.Conference Paper

Improved compilation of Prolog to C using moded types and determinism informationMORALES, J; CARRO, Manuel; HERMENEGILDO, Manuel et al.Lecture notes in computer science. 2004, pp 86-103, issn 0302-9743, isbn 3-540-22253-7, 18 p.Conference Paper

Improving memory usage in the BEAMLOPES, Ricardo; SANTOS COSTA, Vitor.Lecture notes in computer science. 2005, pp 143-157, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

States vs. traces in model checking by abstract interpretationGIACOBAZZI, Roberto; RANZATO, Francesco.Lecture notes in computer science. 2002, pp 461-476, issn 0302-9743, isbn 3-540-44235-9, 16 p.Conference Paper

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualizationBAILEY, James; STUCKEY, Peter J.Lecture notes in computer science. 2005, pp 174-186, issn 0302-9743, isbn 3-540-24362-3, 13 p.Conference Paper

Role-based declarative synchronization for reconfigurable systemsTANASESCU, Vlad; WOJCIECHOWSKI, Pawel T.Lecture notes in computer science. 2005, pp 52-66, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Towards provably correct code generation via Horn logical continuation semanticsWANG, Qian; GUPTA, Gopal; LEUSCHEL, Michael et al.Lecture notes in computer science. 2005, pp 98-112, issn 0302-9743, isbn 3-540-24362-3, 15 p.Conference Paper

Making abstract model checking strongly preservingRANZATO, Francesco; TAPPARO, Francesco.Lecture notes in computer science. 2002, pp 411-427, issn 0302-9743, isbn 3-540-44235-9, 17 p.Conference Paper

On termination of logic programs with floating point computationsSEREBRENIK, Alexander; DE SCHREYE, Danny.Lecture notes in computer science. 2002, pp 151-164, issn 0302-9743, isbn 3-540-44235-9, 14 p.Conference Paper